XXXVII.—Notes on Sepia biserialis and Sepia elegans

Combining SEPIA and ML4PG

SEPIA is an approach that infers state based models from existing proof corpora. These models can then be used for the development of new proofs. As with similar approaches, selecting the best facts to use in new proofs is challenging. We investigate the potential use of ML4PG as a relevance filter for our approach achieving a model only inferred from the lemma suggestions by ML4PG. These reduc...

SEPIA Programming Environment

Ecology of Sepia Officinalis

This article comprises an up-dated review of the processes influencing the distribution and abundance of common cuttlefish Sepia officinalis, the interactions between the species and the main parameters of the environment in which it lives and its trophic, demographic and behavioural ecology.

Setup of epiphytic assistance systems with SEPIA

We propose a graphical language that enables the specification of assistance systems for a given application, by means of a set of rules. We implemented it through the SEPIA environment, mainly composed of an assistance editor aimed at assistance designers, and a generic assistance engine able to execute the specified assistance for the target-application end-users, without a need to modify thi...

Fast Private Set Operations with SEPIA

Private set operations allow correlation of sensitive data from multiple data owners. Although intensely researched, current solutions still exhibit limited scalability in terms of the supported maximum set size and number of sets. To address these issues, we propose a new approach to private set operations based on a combination of efficient secure multiparty computation and bloom filters, a s...